Automatic Report Testing without Programming

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

Visual Programming versus Textual Programming in Automatic Testing and Diagnosis

The present paper investigates the categories of fbnctionality implemented by software in Automatic Test Systems and the programming paradigms that are commonly used for implementation. Building on the conclusions of this analysis, the paper proposes a combined development paradigm, where visual programming is used at diagnosis level, while both textual and visual languages are supported for im...

Teaching Object-Oriented Design Without Programming: A Progress Report

This project is demonstrating the feasibility of using the object-oriented paradigm to teach students software design in a nonprogramming context. The program, developed using principles of user-based, prototyping design, teaches students to create responsibility-driven designs of computer games. Investigations with high school students with little or no knowledge of computers and senior comput...

ICES REPORT 12 - 34 August 2012 Significance testing without

A popular approach to significance testing proposes to decide whether the given hypothesized statistical model is likely to be true (or false). Statistical decision theory provides a basis for this approach by requiring every significance test to make a decision about the truth of the hypothesis/model under consideration. Unfortunately, many interesting and useful models are obviously false (th...

Automatic Grading of Programming Exercises Automatic Grading of Programming Exercises